Formal Aspects of and Development Environments for Montages

The specification of all aspects of a programming language requires adequate formal models and tool support. Montages specifications combine graphical and textual elements to yield language descriptions similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. A broad range of people involved in programming language design and use may find it convenient to use Montages in combination with the tool GEM–MEX. It allows the automatic generation of high–quality documents, type–checkers, interpreters and symbolic debuggers.